Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Lire la suite
Adaptive Multi-Standard RF Front-Ends
Adaptive Multi-Standard RF Front-Ends investigates solutions, benefits, limitations and costs related to multi-standard operation ...
Lire la suite
Advances in Electronic Testing
The book is a comprehensive elaboration on important topics which capture major research and development efforts today. The ...
Lire la suite
Analog-Baseband Architectures And Circuits For Multistandard And Lowvoltage Wireless Transceivers
"Analog-Baseband Architectures and Circuits reviews the fundamentals and studies the state-of-the-art multistandard transceivers ...
Lire la suite
Creating Assertion-Based Verification IP
The focus of this book is to bring the assertion discussion up to a higher level and introduce a process for creating effective, ...
Lire la suite
Frontiers in Hardware Security and Trust: Theory, design and practice
The footprint and power constraints imposed on internet-of-things end-points, smart sensors, mobile and ad hoc network devices ...
Lire la suiteHandbook of Biochips : Integrated Circuits and Systems for Biology and Medicine / Mohamad Sawan
This book provides a broad survey of the field of biochips, including fundamentals of microelectronics and biomaterials interaction ...
Lire la suite
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
Papers cover high level design, low power design techniques, low power analog circuits, statistical static timing analysis, ...
Lire la suite
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148)
Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by ...
Lire la suite
Microwave Engineering : Concepts and Fundamentals / Ahmad Shahid Khan
Covers everything from wave propagation to reflection and refraction, guided waves, and transmission lines, providing a comprehensive ...
Lire la suite
Sub-threshold Design for Ultra-Low Power Systems
Although energy dissipation has improved with each new technology node, because SoCs are integrating tens of million devices ...
Lire la suite
The NeuroProcessor : An Integrated Interface to Biological Neural Networks
This book presents the Neuroprocessor, a novel computational neuronal interface device implemented in VLSI technology. In ...
Lire la suite
Ultra Wideband - Circuits, Transceivers and Systems : Circuits, Transceivers and Systems
Ultra Wideband: Circuits, Transceivers and Systems offers a comprehensive overview of the state of the art of the physical ...
Lire la suite
VLSI-Design of Non-Volatile Memories
VLSI-Design for Non-Volatile Memories is intended for electrical engineers and graduate students who want to enter into the ...
Lire la suite
